Möbius metric in sector domains

Metric spaces and FS-domains

In this article we give general conditions on ametric space to insure that the poset of closed formal balls is an FS-domain. © 2008 Elsevier B.V. All rights reserved.

the impact of e-readiness on ec success in public sector in iran the impact of e-readiness on ec success in public sector in iran

acknowledge the importance of e-commerce to their countries and to survival of their businesses and in creating and encouraging an atmosphere for the wide adoption and success of e-commerce in the long term. the investment for implementing e-commerce in the public sector is one of the areas which is focused in government‘s action plan for cross-disciplinary it development and e-readiness in go...

Three Metric Domains of Processes for Bisimulation Three Metric Domains of Processes for Bisimulation

A new metric domain of processes is presented. This domain is located in between two metric process domains introduced by De Bakker and Zucker. The new process domain characterizes the collection of image nite processes. This domain has as advantages over the other process domains that no complications arise in the deenitions of operators like sequential composition and parallel composition, an...

Continuity Spaces: Reconciling Domains and Metric Spaces

We use continuity spaces, a common refinement of posets and metric spaces, to develop a general theory of semantic domains which includes metric spaces and domains of cpo’s as special cases and provides the appropriate tools for producing new examples which may be suitable for modeling language constructs that occur in concurrent and probabilistic programming. Our proposal for a general notion ...

Uniform Domains and the Quasi-hyperbolic Metric